Mathematical formalisms in scientific practice: From denotation to model-based representation

The present paper argues that ‘mature mathematical formalisms’ play a central role in achieving representation via scientific models. A close discussion of two contemporary accounts of how mathematical models apply—the DDI account (according to which representation depends on the successful interplay of denotation, demonstration and interpretation) and the ‘matching model’ account—reveals shortcomings of each, which, it is argued, suggests that scientific representation may be ineliminably heterogeneous in character. In order to achieve a degree of unification that is compatible with successful representation, scientists often rely on the existence of a ‘mature mathematical formalism’, where the latter refers to a—mathematically formulated and physically interpreted—notational system of locally applicable rules that derive from (but need not be reducible to) fundamental theory. As mathematical formalisms undergo a process of elaboration, enrichment, and entrenchment, they come to embody theoretical, ontological, and methodological commitments and assumptions. Since these are enshrined in the formalism itself, they are no longer readily obvious to either the novice or the proficient user. At the same time as formalisms constrain what may be represented, they also function as inferential and interpretative resources.     

Malliavin分析在下方约束最优投资组合中的应用

对下方约束的最优投资模型进行推广.考虑市场参数为关于时间函数的情形下,利用Malliavin分析,刻画其带下方约束的最优投资策略.     

浅析制度安排的效用

制度安排对象是人,制度安排效用的前提是公平和效率,效用的体现是大多数人从精神和物质上对制度安排的肯定。现实中效用存在着不足,不仅体现在制度环境上的制约,也受制于制度安排本身的不合理。因而有必要从这两方面入手,突破效用制约,从而节约社会成本,减少社会矛盾,维护社会安定。     

叙大铁路某隧道溶洞超前预报及处理技术研究

跟随叙大铁路尹家岩隧道开挖,对其做了超前预报。当隧道开挖至DK70+551,在其后方出现一大型溶洞,分析了该溶洞的形态特征、岩性、水文地质等情况,提出了换填+护墙、改线和桥梁跨越3个方案,从工期、投资、技术条件、施工难易程度等进行比较,决定采用换填+护墙处理方案进行整治。     

基于市场机制的网格资源分配策略研究

网格资源的分配策略是网格资源管理体系的核心,它决定了该体系对资源的组织能力和分配能力,体现了网格资源管理体系管理的有效性和服务质量的优劣性.本文从市场的角度入手,把网格资源的供需方比拟为市场中的买卖方,引入柯布-道格拉斯效用函数,用数学方法具体分析了在时间和费用需求的保障前提下,供需方最优的资源出价.此决算方法给网格资源分配提供了科学的依据,是市场机制下实现网格资源分配策略的核心.     

射流风机空气动力特性与通流部件合理设计

射流风机已在公路隧道、铁路隧道及地铁通风中被广为应用.正确的进行射流风机的空气动力设计可以提高通风装置效率,降低隧道通风的运营成本.通过对射流风机的空气动力特性分析,论证了射流风机叶轮所产生的静压仅仅是用于克服风机本身的内部流动阻力,与改善隧道内通风状态无关.指出在进行射流风机空气动力设计时,应使得其叶轮产生的静压尽可...     

软弱围岩下小净距隧道中岩柱加固方法分析

建立基于Drunker-Prager本构模型小净距隧道弹塑性三维模型，进行室内比尺模型试验的数值模拟。比较数值模拟和室内试验之间的结果，验证数值模型试验的有效性。通过对围岩的位移、塑性区、整体塑性能释放、最大塑性应变分析，比较上、中、下岩盘等不同加固工况的优劣，为实际施工加固方案择提供技术参考。     

温拌沥青在隧道路面工程中的应用

以京包高速公路德胜口隧道摊铺温拌沥青混合料路面施工为基础,根据隧道中热量散失少温度上升快的特点,按施工时达到的温度高低不同,划分为2种区域施工.对温拌沥青混合料在这2种区域内的施工工艺及如何改善隧道施工环境做了研究.     

超前大管棚在隧道施工中的应用

主要介绍了某隧道在进出口围岩较破碎的情况下,在施工中采用长管棚及注浆的施工方法,有效地阻止了开挖时软弱围岩的坍塌和涌水,为隧道的施工安全提供了保障,可供同类工程借鉴.     

翠竹岭隧道病害整治方案

我国数量极大的高速公路隧道基本集中在约20年间建成，可以预见今后面临的维修整治任务将十分艰巨。本文详细介绍了翠竹岭隧道病害整治方案，可为其它隧道病害整治的设计和施工提供一定的参考。